Representing 3/2-Institutions as Stratified Institutions

On the one hand, extension of ordinary institution theory, known as theory stratified institutions, is a general axiomatic approach to model theories where satisfaction parameterized by states models. other 3/2-institutions an that accommodates partiality signature morphisms and its syntactic semantic effects. The latter motivated applications conceptual blending software evolution. In this paper, we develop representation theorem institutions. This enables transfer infrastructure from 3/2-institutions. We provide some examples in direction.